$\forall$$A$, $B$:Type. strong{-}subtype($A$;$B$) $\Rightarrow$ ($\forall$$L$:$A$ List, $x$:$B$. ($x$ $\in$ $L$) $\Rightarrow$ $x$ $\in$ $A$)